<?php

declare (/**/ ticks = /**/ 1) :
    ;
    ;
enddeclare;